Author: Akihisa Yamada
  • Research duration: 2014 - 2017
  • Total publications: 7
Publication counts by year

  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category

Research keywords

combinatorialtestingtestcomparisonspecificationrespectperformabilitiesdatabaserelationalusabilitysemanticfosterredundantformmodularprocessinglayoutdesignautomotiveenginecontrolsoftwareadvancedinterfacesuser-friendly
Publications

2017

International Conference

[1] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, and Cyrille Valentin Artho, "Classification Tree Method with Parameter Shielding", Proc. of the 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), pp. 230-241, September 2017.

2016

International Conference

[1] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and Akihisa Yamada, "Distance-integrated Combinatorial Testing", Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pp. 93-104, October 2016. (Ottawa, Canada)

[2] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation using Unsatisfiable Cores", Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 2016.

2015

International Conference

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing", Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pp. 242--247, July 2015.

[2] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015.

[3] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Do, Yutaka Oiwa, and Shinya Sakuragi, "Combinatorial Testing for Tree-Structured Test Models with Constraints", The 2015 International Conference on Software Quality, Reliability and Security (QRS), Best Paper, pp. 141--150, 2015.

2014

Domestic Conference

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "T-wise test construction improving (T+1)-way coverage", Poster Presentation in the 6th International Workshop of Software Engineering in Practice (IWESEP2014), November 2014.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.